Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
81	Maintaining Verified Software Joe Leslie-Hurd Intel Corp. Abstract Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-09-14 18:02:18 Type theory Functional languages Data types Cabal Haskell Monad Type system QuickCheck Dependency hell Software Computing Functional programming
82	Optimal Compilation of HPF Remappings (Extended Abstract) Fabien Coelho Corinne Ancourt Centre de Recherche en Informatique, E cole des mines de Paris, 35, rue Saint-Honore, 77305 Fontainebleau Cedex, France. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-03-24 11:57:43 Procedural programming languages High Performance Fortran Fortran Array data type Static single assignment form C Subroutine Computing Computer programming Software engineering
83	Moving Scala ASTs one step closer to C c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 26th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-18 08:01:22 Functional languages Procedural programming languages Type theory Data types Subroutines Stack ATS ALGOL 68 Scala Computing Software engineering Programming language theory
84	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
85	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
86	The GNU C++ Library Doug Lea SUNY Oswego & NY CASE Center DRAFT The GNU C++ library (libg++) was among the rst widely available general-purpose C++ class libraries. Some classes were designed and implemented as early as Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:00:28 Object-oriented programming Data types Type theory Cross-platform software Abstract data types Object C++ Class Generic programming Software engineering Computing Computer programming
87	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
88	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
89	Inter Model Data Exchange of Type Information via a Common Type Hierarchy Andrew Smith and Peter McBrien Dept. Computing, Imperial College London, London SW7 2AZ Abstract. Data exchange between heterogeneous schemas is Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-04-24 08:56:42 Markup languages Technical communication Data management Data modeling Relational database management systems XML PostgreSQL Data model Database schema Computing Data Information
90	SQOWL: Type Inference in an RDBMS P.J. McBrien, N. Rizopoulos, and A.C. Smith Imperial College London⋆⋆ , 180 Queen’s Gate, London, UK Abstract. In this paper we describe a method to perform type inference over dat Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-14 06:14:18 SQL Data modeling Database management systems Ontology Database trigger Abox Insert Semantic reasoner Foreign key Data management Data Information

UPDATE